منابع مشابه
State Spaces - The Locale Way
These theories introduce a new command called statespace. It’s usage is similar to records. However, the command does not introduce a new type but an abstract specification based on the locale infrastructure. This leads to extra flexibility in composing state space components, in particular multiple inheritance and renaming of components. The state space infrastructure basically manages the fol...
متن کاملPositivity relations on a locale
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...
متن کاملState Spaces — The Locale Way Norbert
Verification of imperative programs means reasoning about modifications of a program state. So proper representation of state spaces is crucial for the usability of a corresponding verification environment. In this paper we discuss various existing state space models under different aspects like strong typing, modularity and scalability. We also propose a variant based on the locale infrastruct...
متن کاملMass incarceration, legal change, and locale
Since the turn of the 21st century, a proliferation of empirical and theoretical scholarship has developed regarding mass incarceration in the United States. This work has grappled with its causes, contours, and consequences and has led to numerous important insights about how we arrived at our current state of overincarceration and about its human and economic impact. Yet, as I hope to tease o...
متن کاملLocales and Locale Expressions in Isabelle/Isar
Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1979
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1979.83.333